Tags: #knowledge requirements

arXiv 2609.31302。EPFL 把 30 年来 hard-code 的 Paxos/EPaxos/SwiftPaxos fast path 统一抽象成 knowledge requirement,用 ILP 在 31 个 AWS 副本里合成出比最强基线还快 16% 的拓扑感知 fast path。